A Topologist's View of Chu Spaces
نویسندگان
چکیده
For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over X . Its full subcategory of M-extensive K-Chu spaces is topological over X when X is Mcomplete, for any morphism class M. Often this subcategory may be presented as a full coreflective subcategory of Diers’ category of affine K-spaces. Hence, in addition to their roots in the theory of pairs of topological vector spaces (Barr) and their connections with linear logic (Seely), the Dialectica categories (Hyland, de Paiva), and with the study of event structures for modeling concurrent processes (Pratt), Chu spaces seem to have a less explored link with algebraic geometry. We use the Zariski closure operator to describe the objects of the ∗-autonomous category of M-extensive and Mcoextensive K-Chu spaces in terms of Zariski separation and to identify its important subcategory of complete objects.
منابع مشابه
Compactification of -spaces Revisited Compactiication of G{spaces Revisited
We discuss compactiications of G{spaces from a new point of view that completely diiers from our earlier approaches. From a topologist's point of view, this new approach is more natural than the previous ones. In addition, it enables a uniied discussion of the compactiication and the linearization problem for G{spaces (which we shall discuss in a subsequent report). The central idea is to get a...
متن کاملChu Spaces from the Representational Viewpoint
We give an elementary introduction to Chu spaces viewed as a set of strings all of the same length. This perspective dualizes the alternative view of Chu spaces as generalized topological spaces, and has the advantage of substituting the intuitions of formal language theory for those of topology.
متن کاملA categorical view at generalized concept lattices
We continue in the direction of the ideas from the Zhang’s paper [14] about a relationship between Chu spaces and Formal Concept Analysis. We modify this categorical point of view at a classical concept lattice to a generalized concept lattice (in the sense of Krajči [7]): We define generalized Chu spaces and show that they together with (a special type of) their morphisms form a category. More...
متن کاملA new view on fuzzy automata normed linear structure spaces
In this paper, the concept of fuzzy automata normed linear structure spaces is introduced and suitable examples are provided. ;The ;concepts of fuzzy automata $alpha$-open sphere, fuzzy automata $mathscr{N}$-locally compact spaces, fuzzy automata $mathscr{N}$-Hausdorff spaces are also discussed. Some properties related with to fuzzy automata normed linear structure spaces and fuzzy automata $ma...
متن کاملThe Second Calculus of Binary Relations
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued binary relations, which for K = 2 we show generalize n-ary relational structures. We also exhibit a four-stage unique factorization system for Chu transforms that illuminates their op-
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Applied Categorical Structures
دوره 15 شماره
صفحات -
تاریخ انتشار 2007